შეწირულობა 15 სექტემბერს 2024 – 1 ოქტომბერს 2024 თანხის შეგროვების შესახებ
1
Mathematical Logic: A Course with Exercises Part II: Recursion Theory, Gödel’s Theorems, Set Theory, Model Theory

Mathematical Logic: A Course with Exercises Part II: Recursion Theory, Gödel’s Theorems, Set Theory, Model Theory

René Cori, Daniel Lascar, Donald Pelletier
წელი:
2001
ენა:
english
ფაილი:
DJVU, 5.41 MB
0 / 0
english, 2001
2
Mathematical Logic : A course with exercises -- Part I -- Propositional Calculus, Boolean Algebras, Predicate Calculus, Completeness Theorems

Mathematical Logic : A course with exercises -- Part I -- Propositional Calculus, Boolean Algebras, Predicate Calculus, Completeness Theorems

Rene Cori, Daniel Lascar, Donald H. Pelletier
წელი:
2000
ენა:
english
ფაილი:
PDF, 12.16 MB
5.0 / 0
english, 2000
3
Lambda-calculus: types and models

Lambda-calculus: types and models

Jean-Louis Krivine, translated by René Cori
წელი:
2014
ენა:
english
ფაილი:
PDF, 1.11 MB
0 / 0
english, 2014
4
Mathematical Logic: A Course with Exercises Part I: Propositional Calculus, Boolean Algebras, Predicate Calculus, Completeness Theorems

Mathematical Logic: A Course with Exercises Part I: Propositional Calculus, Boolean Algebras, Predicate Calculus, Completeness Theorems

René Cori, Daniel Lascar
წელი:
2000
ენა:
english
ფაილი:
PDF, 8.01 MB
0 / 0
english, 2000
5
Mathematical Logic: A Course with Exercises Part I: Propositional Calculus, Boolean Algebras, Predicate Calculus, Completeness Theorems

Mathematical Logic: A Course with Exercises Part I: Propositional Calculus, Boolean Algebras, Predicate Calculus, Completeness Theorems

Rene Cori, Daniel Lascar
წელი:
2000
ენა:
english
ფაილი:
DJVU, 5.28 MB
0 / 0
english, 2000
6
Mathematical Logic: A Course with Exercises Part I: Propositional Calculus, Boolean Algebras, Predicate Calculus, Completeness Theorems

Mathematical Logic: A Course with Exercises Part I: Propositional Calculus, Boolean Algebras, Predicate Calculus, Completeness Theorems

Rene Cori, Daniel Lascar, Donald H. Pelletier
წელი:
2000
ენა:
english
ფაილი:
DJVU, 2.85 MB
0 / 0
english, 2000
7
Logic Colloquium 2000

Logic Colloquium 2000

Rene Cori, Alexander Razborov, Stevo Todorcevic, Carol Wood
წელი:
2005
ენა:
english
ფაილი:
PDF, 154.97 MB
0 / 0
english, 2005
8
Logic Colloquium 2000

Logic Colloquium 2000

Rene Cori, Alexander Razborov, Stevo Todorcevic, Carol Wood (eds.)
წელი:
2005
ენა:
english
ფაილი:
DJVU, 5.67 MB
0 / 0
english, 2005
9
Mathematical Logic: A Course with Exercises Part I: Propositional Calculus, Boolean Algebras, Predicate Calculus, Completeness Theorems

Mathematical Logic: A Course with Exercises Part I: Propositional Calculus, Boolean Algebras, Predicate Calculus, Completeness Theorems

Rene Cori, Daniel Lascar
წელი:
2000
ენა:
english
ფაილი:
DJVU, 3.95 MB
0 / 0
english, 2000
10
Logic colloquium 2000 (hardcover): lecture notes in logic, 19

Logic colloquium 2000 (hardcover): lecture notes in logic, 19

Cori, Rene, Razborov, Alexander, Todorcevic, Stevo, Wood, Carol (eds.)
წელი:
2005
ენა:
english
ფაილი:
DJVU, 5.67 MB
0 / 0
english, 2005
11
Mathematical Logic: A Course with Exercises Part I: Propositional Calculus, Boolean Algebras, Predicate Calculus, Completeness Theorems

Mathematical Logic: A Course with Exercises Part I: Propositional Calculus, Boolean Algebras, Predicate Calculus, Completeness Theorems

Rene Cori, Daniel Lascar, Donald H. Pelletier
წელი:
2002
ენა:
english
ფაილი:
PDF, 12.15 MB
5.0 / 5.0
english, 2002
12
Mathematical Logic: A Course with Exercises Part II: Recursion Theory, Godel’s Theorems, Set Theory, Model Theory

Mathematical Logic: A Course with Exercises Part II: Recursion Theory, Godel’s Theorems, Set Theory, Model Theory

Rene Cori, Daniel Lascar, Donald H. Pelletier
წელი:
2001
ენა:
english
ფაილი:
PDF, 29.96 MB
5.0 / 5.0
english, 2001